{% extends "!page.html" %}

{% block menu %}
  {% set toctree = toctree(maxdepth=4, collapse=True, includehidden=True) %}
  {% if toctree %}
    {{ toctree }}
  {% else %}
    <!-- Local TOC -->
    <div class="local-toc">{{ toc }}</div>
  {% endif %}
{% endblock %}
